infinitely often

См. также в других словарях:

• McNaughton's Theorem — In automata theory, McNaughton s theorem refers to a theorem that asserts that the set of ω regular languages is identical to the set of languages recognizable by deterministic Muller automata. [1] This theorem is proven by supplying an algorithm …   Wikipedia

• ω-automaton — In automata theory, a branch of theoretical computer science, an ω automaton (or stream automaton) is a deterministic or nondeterministic automaton that runs on infinite, rather than finite, strings as input. Since ω automata do not stop, they… …   Wikipedia

• Fréchet space — This article is about Fréchet spaces in functional analysis. For Fréchet spaces in general topology, see T1 space. For the type of sequential space, see Fréchet Urysohn space. In functional analysis and related areas of mathematics, Fréchet… …   Wikipedia

• Fair Computational tree logic — is conventional computational tree logic studied with explicit fairness constraints.Weak fairness / justiceThis declares conditions such as all processes are executing infinitely often. If you consider the processes to be Pi, then the condition… …   Wikipedia

• Non-analytic smooth function — In mathematics, smooth functions (also called infinitely differentiable functions) and analytic functions are two very important types of functions. One can easily prove that any analytic function of a real argument is smooth. The converse is not …   Wikipedia

• Schinzel's hypothesis H — In mathematics, Schinzel s hypothesis H is a very broad generalisation of conjectures such as the twin prime conjecture. It aims to define the maximum possible scope of a conjecture of the nature that a family : fi ( n )of values of irreducible… …   Wikipedia

• Pi — This article is about the number. For the Greek letter, see Pi (letter). For other uses, see Pi (disambiguation). The circumference of a ci …   Wikipedia

• Laurent series — A Laurent series is defined with respect to a particular point c and a path of integration γ. The path of integration must lie in an annulus (shown here in red) inside of which f(z) is holomorphic (analytic). In mathematics, the Laurent series of …   Wikipedia

• Greek arithmetic, geometry and harmonics: Thales to Plato — Ian Mueller INTRODUCTION: PROCLUS’ HISTORY OF GEOMETRY In a famous passage in Book VII of the Republic starting at Socrates proposes to inquire about the studies (mathēmata) needed to train the young people who will become leaders of the ideal… …   History of philosophy

• Weierstrass–Casorati theorem — The Casorati Weierstrass theorem in complex analysis describes the remarkable behavior of meromorphic functions near essential singularities. It is named for Karl Theodor Wilhelm Weierstrass and Felice Casorati.Start with an open subset U of the… …   Wikipedia

• Picard theorem — For the theorem on existence and uniqueness of solutions of differential equations, see Picard s existence theorem. In complex analysis, the term Picard theorem (named after Charles Émile Picard) refers to either of two distinct yet related… …   Wikipedia